proof-general/etc/isa/backslashname, branch master

proof-general/etc/isa/backslashname, branch master Emacs plugins for proof management systems